Accidental Systems, Hidden Assumptions and Safety Assurance
نویسنده
چکیده
In April, the Royal Academy of Engineering published the final report of a study into the world’s increasing dependence on GPS and other global navigation satellite systems and the consequent vulnerabilities. The report, Global Navigation Space Systems, describes how GPS has been so useful and so reliable that a remarkably wide range of applications, ranging from financial trading to deep sea drilling, now depend on these extremely weak signals from space. As a consequence, if the GPS signals are disrupted or spoofed, many services that might be thought to be independent may fail simultaneously. Primary and backup systems may both be affected. In this paper, we explain some of the vulnerabilities in GPS and other GNSS and draw some conclusions about accidental systems, hidden assumptions and safety assurance.
منابع مشابه
Hidden Safety Requirements in Large-Scale Systems
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate straightforward rules for safe component interconnection. Keyword Codes: K.4.1; K.6.5; J.7
متن کاملA Distributed Safety-Critical System for Real-Time Train Control
An architecture and methodology for executing a train control application in an ultra-safe manner is presented in this paper. Prior work in advanced train control systems are summarized along with their assumptions and drawbacks. A flexible architecture that allows fault-tolerant and fail-safe operation is presented for a distributed control system. A safety assurance technique which detects er...
متن کاملAutomated Integration Of Potentially Hazardous Open Systems
I speculate on the feasibility of open systems that self-assemble into integrated systems of systems using automation to identify and manage novel hazards. 1. Automated Integration of Open Systems One of the benefits expected of open systems is that they can be combined as systems of systems to deliver some integrated service beyond that provided by any of the constituents alone. Of course, we ...
متن کاملFood Quality Assurance Principles And Practices
food quality assurance wordpress food quality assurance principles and practices eaal food quality assurance principles and practices gkok food quality assurance principles and practices quality assurance: principles and practices crcnetbase food quality assurance crcnetbase a manual of good practices in food quality management food quality and safety management systems:a brief quality assuranc...
متن کاملConstructing a Safety Case for Automatically Generated Code from Formal Program Verification Information
Formal methods can in principle provide the highest levels of assurance of code safety by providing formal proofs as explicit evidence for the assurance claims. However, the proofs are often complex and difficult to relate to the code, in particular if it has been generated automatically. They may also be based on assumptions and reasoning principles that are not justified. This causes concerns...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012